It's only used here.
https://bugzilla.gnome.org/show_bug.cgi?id=691746
this._queueUpdateRegions();
},
+ _getWindowActorsForWorkspace: function(workspace) {
+ return global.get_window_actors().filter(function (actor) {
+ let win = actor.meta_window;
+ return win.located_on_workspace(workspace);
+ });
+ },
+
_updateFullscreen: function() {
- let windows = Main.getWindowActorsForWorkspace(global.screen.get_active_workspace_index());
+ let windows = this._getWindowActorsForWorkspace(global.screen.get_active_workspace());
// Reset all monitors to not fullscreen
for (let i = 0; i < this.monitors.length; i++)
notify(msg, details);
}
-function getWindowActorsForWorkspace(workspaceIndex) {
- let workspace = global.screen.get_workspace_by_index(workspaceIndex);
- return global.get_window_actors().filter(function (actor) {
- let win = actor.meta_window;
- return win.located_on_workspace(workspace);
- });
-}
-
function _findModal(actor) {
for (let i = 0; i < modalActorFocusStack.length; i++) {
if (modalActorFocusStack[i].actor == actor)